Enhanced Rate Monotonic Time Demand Analysis
نویسندگان
چکیده
Latest real-time systems are capable of changing its speed at run time to prolong its battery life and, demand efficient techniques for online decisions making. Available real time feasibility tests have pseudo-polynomial complexity and can not be executed online. This paper proposes that the time complexity of existing techniques could be lowered when task schedulability is analyzed at points, where task feasibility is expected to be true. This paper also identifies False Points (FP) in feasibility analysis. By propagating false points, our technique greatly reduces the number of points that would be tested with existing approaches. We have extending the Time Demand Analysis under Rate Monotonic (RM) policy for periodic tasks. Our proposed technique can be executed online for guaranteeing task feasibility. Mathematical formulation and simulation results show the significance of our technique.
منابع مشابه
An optimal policy for deteriorating items with time-proportional deterioration rate and constant and time-dependent linear demand rate
In this paper, an economic order quantity (EOQ) inventory model for a deteriorating item is developed with the following characteristics: (i) The demand rate is deterministic and two-staged, i.e., it is constant in first part of the cycle and linear function of time in the second part. (ii) Deterioration rate is time-proportional. (iii) Shortages are not allowed to occur. The o...
متن کاملAn EPQ Model with Increasing Demand and Demand Dependent Production Rate under Trade Credit Financing
This paper investigates an EPQ model with the increasing demand and demand dependent production rate involving the trade credit financing policy, which is seldom reported in the literatures. The model considers the manufacturer was offered by the supplier a delayed payment time. It is assumed that the demand is a linear increasing function of the time and the production rate is proportional to ...
متن کاملSafety Verification of Real Time Systems Serving Periodic Devices
In real-time systems response to a request from a controlled object must be correct and timely. Any late response to a request from such a device might lead to a catastrophy. The possibility of a task overrun, i.e., missing the deadline for completing a requested task, must be checked and removed during the design of such systems. Safe design of real-time systems running periodic tasks under th...
متن کاملPeak Power Demand Analysis by Using Battery Buffers for Monotonic Controllers
Demand of electricity varies on hourly basis whereas the production is quite inelastic. This results in heavy fluctuation in the price of the electrical energy. Consequently many power companies have started offering time based tariffs. Data centers and industrial consumers of electricity are penalized for the peak power demand of their loads. To shave the peak power demand, a battery buffer ca...
متن کاملSemantics-based compiler transformations for enhanced schedulability
We present TCEL (Time-Constrained Event Language), whose timing semantics is based solely on the constrained relationships between observable events. Using this semantics, the unobservable code can be automatically moved to convert an unschedulable task set into a schedulable one. We illustrate this by an application of program-slicing, which we use to automatically tune control-domain systems ...
متن کامل